\begin{tabbing}
master{-}constraints(${\it es}$;${\it Master}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=(\=$\forall$$e_{1}$:es{-}E{-}interface(${\it es}$;${\it Master}$), $e_{2}$:es{-}E{-}interface(${\it es}$;${\it Master}$).\+\+
\\[0ex]es{-}causl(${\it es}$; $e_{1}$; $e_{2}$) $\vee$ es{-}causle(${\it es}$;$e_{2}$;$e_{1}$))
\-\\[0ex]\& (\=$\forall$$e_{1}$:es{-}E{-}interface(${\it es}$;${\it Master}$), $e_{2}$:es{-}E{-}interface(${\it es}$;${\it Master}$).\+
\\[0ex]es{-}causl(${\it es}$; $e_{1}$; $e_{2}$)
\\[0ex]$\Rightarrow$ ($\uparrow$cmconfig?(${\it Master}$($e_{1}$)))
\\[0ex]$\Rightarrow$ ($\uparrow$cmconfig?(${\it Master}$($e_{2}$)))
\\[0ex]$\Rightarrow$ sublist(Id; cmconfig{-}list(${\it Master}$($e_{2}$)); cmconfig{-}list(${\it Master}$($e_{1}$))))
\-\-
\end{tabbing}